#nav {
	z-index: 29;
}
#area {
	position: fixed;
	margin: 0 20px;
	width: 100%;
	height: 100%;
	top: 68px;
	bottom: 0;
	-webkit-user-select:none;
	-moz-user-select:none;
	-ms-user-select:none;
	user-select:none;
	z-index: 1;
}

/* node style */
.transition,
.place,
.connection {
	position: absolute;
	cursor: pointer;
}

.transition,
.place {
	width: 30px;
	height: 30px;
	border-radius: 30px;
	border: 1px solid #656565;
	background: white;
	z-index: 1;
	text-align: center;
	line-height: 30px;
}

.transition::after,
.place::after {
	content: attr(title);
	display: block;
	width: 100%;
	line-height: 1;
	position: absolute;
	top: 100%;
	left: 0;
	right: 0;
	margin: auto;
	padding: 5px 0;
}

.transition {
	border-radius: 0;
}

.transition.enable {
	background: #9bea7a;
}

.place.length-one::before {
	content: "";
	display: block;
	position: absolute;
	width: 10px;
	height: 10px;
	top: 0;
	bottom: 0;
	right: 0;
	left: 0;
	margin: auto;
	border-radius: 10px;
}

.place.length-one::before,
.token {
	background: #333;
}

.connection {
	height: 1px;
	background-color: #656565;
	color: #333;
	z-index: 0;
}

.connection>.chevron {
	display: inline-block;
	width: 20px;
	height: 20px;
	padding-top: 4px;
	font-size: 12px;
	text-align: right;
	position: absolute;
	right: -1px;
	top: -10px;
	bottom: auto;
	margin: auto;
}

.connection::after {
	content: attr(title);
	display: block;
	width: 100%;
	line-height: 1;
	position: absolute;
	left: 0;
	right: 0;
	margin: auto;
	padding: 5px 0;
	text-align: center;
	z-index: -1;
	transform: translate(0, -50%);
}

#area>.token {
	display: none;
}

/* menu style */

#menus {
	display: block;
	position: fixed;
	width: 200px;
	cursor: pointer;
	z-index: 10;
}

#menus .btn {
	text-align: left;
	color: #333;
	border-radius: 0;
}

#menus .place,
#menus .transition,
#menus .connection {
	width: 20px;
	height: 20px;
	position: static;
	display: inline-block;
	vertical-align: middle;
}

#menus .connection {
	width: 100px;
	height: 1px;
	position: relative;
}

/* connecting style */
#area.require-place .transition:hover {
	cursor: not-allowed;
}
#area.require-transition .place:hover {
	cursor: not-allowed;
}

/* editing style */
#tokenArea {
	display: inline-block;
    /* min-height: 34px; */
    padding: 7px;
}

#tokenArea .token {
	width: 15px;
	height: 15px;
	display: inline-block;
	border-radius: 15px;
	vertical-align: middle;
	margin: 3px;
}

/* choose style */
.place.choose,
.transition.choose {
	border-color: #337ab7;
	box-shadow: 0 0 2px #337ab7;
}
.connection>.menu.choose {
	color: #337ab7;
}

#chooseBox {
	background: rgba(0,0,0,.2);
	outline: 1px solid #333;
	position: fixed;
	z-index: -1;
}

/* run area style */
#runArea-container.hidden {
	display: block !important;
	transform: translateY(-100%);
}

#runArea-container {
	position: fixed;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
	padding: 20px;
	padding-top: 60px;
	z-index: 1061;
	transform: translateY(0);
	transition: transform .3s;
	background: rgba(0,0,0,.1);
	overflow: hidden;
}

#control {
	height: 51px;
	margin-top: -51px;
	border-radius: 5px 5px 0 0;
}

#runArea {
	width: 100%;
	height: 100%;
	background: white;
	position: relative;
	overflow: auto;
}

#autoRunOption {
	position: fixed;
	z-index: 1;
	margin-top: 3px;
	width: 200px;
	background: rgba(251,251,251,.5);
	border-left: 1px solid #ddd;
}

#autoRunOption select {
	outline: none;
	border: none;
	box-shadow: none;
	border-bottom: 1px solid #ddd;
	background: transparent;
}

#info-body ul {
	/* padding-left: 5px; */
}